Lean (proof assistant)

品質:

这种编程语言是 第453名 全球维基百科排名中最受欢迎的编程语言 和 第403名 最受欢迎编程语言 英語維基百科中. 英語維基百科的「Lean (proof assistant)」文章品質得分為 39.2 分（截至2024年8月1日）. 本文包含 19 篇參考文獻和 11 個章節。

這篇文章是中文維基百科中品質最好的。 然而，這篇文章是最受歡迎的英語版本。

成就 所有时间:

英語維基百科:

英語維基百科中中第第403名最受歡迎的编程语言.

全球維基百科:

编程语言中第第453名最受歡迎的.

2024年7月，Lean (proof assistant)」一文由英語維基百科的 1 位作者編輯，並由 4 位所有語言的作者撰寫。

自「Lean (proof assistant)」文章創建以來，其內容由 53 名英語維基百科註冊用戶撰寫，並由 98 名所有語言的註冊維基百科用戶編輯。

Lean在當地英語維基百科全编程语言排名中名列第 403 位，在全球所有時間圖编程语言排名中名列第 453 位。

該文章在英語維基百科中被引用 344 次，在所有語言中被引用 476 次。

2001 年以來作者的最高興趣排名：

• 當地的（英語）：2023 年 10 月18171號
• 全球的：2024 年 6 月28638號

2008年以來的最高人氣排名：

• 當地的（英語）：2024 年 7 月107034號
• 全球的：2024 年 7 月160905號

WikiRank 資料庫中本文有 12 種語言版本（所考慮的 55 個維基百科語言版本）。

品質和受歡迎程度評估是基於 2024年8月1日的維基百科轉儲（包括前幾年的修訂歷史和頁面瀏覽量）。

下表顯示了最高品質的文章的語言版本。

#	语言	质量等级	质量分数
1	中文 (zh) Lean		44.1679
2	英語 (en) Lean (proof assistant)		39.2322
3	日語 (ja) Lean (証明アシスタント)		33.3528
4	德語 (de) Lean (Beweisassistent)		31.898
5	西班牙語 (es) Lean		27.6817
6	波斯語 (fa) لین (دستیار اثبات)		25.4167
7	烏克蘭語 (uk) Lean		24.9286
8	俄語 (ru) Lean		21.4148
9	越南語 (vi) Lean (trợ lý chứng minh)		13.5515
10	荷蘭語 (nl) Lean (bewijsassistent)		10.554

下表顯示了本文最受歡迎的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		198 539
2	俄語 (ru) Lean		7 610
3	法語 (fr) Lean (assistant de preuve)		5 505
4	日語 (ja) Lean (証明アシスタント)		5 106
5	德語 (de) Lean (Beweisassistent)		1 729
6	西班牙語 (es) Lean		808
7	中文 (zh) Lean		355
8	烏克蘭語 (uk) Lean		323
9	捷克語 (cs) Lean (programovací jazyk)		251
10	越南語 (vi) Lean (trợ lý chứng minh)		182

下表顯示了上個月最受歡迎的文章的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		11 293
2	日語 (ja) Lean (証明アシスタント)		654
3	德語 (de) Lean (Beweisassistent)		561
4	俄語 (ru) Lean		330
5	中文 (zh) Lean		226
6	法語 (fr) Lean (assistant de preuve)		163
7	西班牙語 (es) Lean		110
8	捷克語 (cs) Lean (programovací jazyk)		15
9	荷蘭語 (nl) Lean (bewijsassistent)		15
10	越南語 (vi) Lean (trợ lý chứng minh)		14

下表顯示了作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		53
2	法語 (fr) Lean (assistant de preuve)		9
3	德語 (de) Lean (Beweisassistent)		8
4	俄語 (ru) Lean		8
5	日語 (ja) Lean (証明アシスタント)		7
6	西班牙語 (es) Lean		3
7	越南語 (vi) Lean (trợ lý chứng minh)		3
8	荷蘭語 (nl) Lean (bewijsassistent)		2
9	烏克蘭語 (uk) Lean		2
10	捷克語 (cs) Lean (programovací jazyk)		1

下表顯示了上個月作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		1
2	西班牙語 (es) Lean		1
3	日語 (ja) Lean (証明アシスタント)		1
4	荷蘭語 (nl) Lean (bewijsassistent)		1
5	捷克語 (cs) Lean (programovací jazyk)		0
6	德語 (de) Lean (Beweisassistent)		0
7	波斯語 (fa) لین (دستیار اثبات)		0
8	法語 (fr) Lean (assistant de preuve)		0
9	俄語 (ru) Lean		0
10	烏克蘭語 (uk) Lean		0

下表顯示了被引用次數最高的文章的語言版本。

2024年9月30日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：Lyle and Erik Menéndez、克里斯·克里斯托佛森、真主党、尚恩·库姆斯、迪肯贝·穆托姆博、黎巴嫩、哈桑·纳斯鲁拉、瑪姬·史密芙、約翰·阿什頓、艾莉娅。

英語維基百科當天最受歡迎的文章是：Kris Kristofferson、Dikembe Mutombo、Lyle and Erik Menéndez、Peter Dante、Rita Coolidge、Pete Rose、Sean Combs、Maggie Smith、Deaths in 2024、Lyle and Erik Menendez.

該計畫旨在對維基百科各種語言版本的文章進行自動相對評估。 目前，該服務允許比較 55 種語言的超過 4,400 萬篇維基百科文章。 文章的品質分數是根據 2024年8月的維基百科轉儲。 在計算作者當前的受歡迎程度和興趣時，考慮了 2024年7月的數據。 對於作者受歡迎程度和興趣的歷史價值，WikiRank 使用了 2001 年至 2023 年的數據。 更多資訊